Level Compactness
نویسندگان
چکیده
The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and compactness together and expand some concepts which appear in Blaine d’Entremont’s master’s thesis: Inference and Level. We will also provide some applications of the concept of level to the “preservationist” program of paraconsistent logic. We apply the finite level compactness theorem in this paper to get a Lindenbaum flavor extension lemma and a maximal “forcibility” theorem. Each of these is based on an abstract deductive system X which satisfies minimal conditions of inferencedeductive system X which satisfies minimal conditions of inference and has generalizations of ‘and’ and ’not’ as logical words.
منابع مشابه
Indestructibility, Strong Compactness, and Level by Level Equivalence
We show the relative consistency of the existence of two strongly compact cardinals κ1 and κ2 which exhibit indestructibility properties for their strong compactness, together with level by level equivalence between strong compactness and supercompactness holding at all measurable cardinals except for κ1. In the model constructed, κ1’s strong compactness is indestructible under arbitrary κ1-dir...
متن کاملIndestructible Strong Compactness and Level by Level Equivalence with No Large Cardinal Restrictions
We construct a model for the level by level equivalence between strong compactness and supercompactness with an arbitrary large cardinal structure in which the least supercompact cardinal κ has its strong compactness indestructible under κ-directed closed forcing. This is in analogy to and generalizes [3, Theorem 1], but without the restriction that no cardinal is supercompact up to an inaccess...
متن کاملEffect of Fertilizer and Soil Compactness Interaction on N, P and K in the Culture of Lawn
Under favorable soil conditions such as existence of easily destructible organic compounds, balanced heat and moisture, adequate ventilation and abundant nutrients, organic materials are mineralized. Once mineralizing occurs, mineral elements like P, S, Ca, Mg, K and other cations are released. A related study was conducted to determine the effect of seven organic fertilizers (Leaf Mold (LM), R...
متن کاملA Universal Nonmonotonic Relationship between Gene Compactness and Expression Levels in Multicellular Eukaryotes
Analysis of gene architecture and expression levels of four organisms, Homo sapiens, Caenorhabditis elegans, Drosophila melanogaster, and Arabidopsis thaliana, reveals a surprising, nonmonotonic, universal relationship between expression level and gene compactness. With increasing expression level, the genes tend at first to become longer but, from a certain level of expression, they become mor...
متن کاملSOME PROPERTIES OF NEAR SR-COMPACTNESS
In this paper, we study some properties of the near SR-compactnessin L-topological spaces, where L is a fuzzy lattice. The near SR-compactness isa kind of compactness between Lowen’s fuzzy compactness and SR-compactness,and it preserves desirable properties of compactness in general topologicalspaces.
متن کاملSEMI $theta$-COMPACTNESS IN INTUITIONISTIC FUZZY TOPOLOGICAL SPACES
The purpose of this paper is to construct the concept of semi$theta$-compactness in intuitionistic fuzzy topological spaces. We give some characterizationsof semi $theta$-compactness and locally semi -compactness. Also, wecompare these concepts with some other types of compactness in intuitionisticfuzzy topological spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 47 شماره
صفحات -
تاریخ انتشار 2006